Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen
نویسندگان
چکیده
Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effizienz der modellbasierten Entwicklung zu erhöhen, sind Richtlinien für die Modellierung unerlässlich. Diese manuell zu überprüfen ist aufwändig und fehleranfällig. Das Projekt MATE (MATLAB Simulink/Stateflow Analysis and Transformation Environment) hat sich deshalb zum Ziel gesetzt, die bislang meist manuelle Prüfung der Einhaltung bzw. Verletzung von Modellierungsrichtlinien zu automatisieren, sowie vor allem Modelltransformationen zur Korrektur entdeckter Mängel und zur Unterstützung von Entwicklungsschritten und die Visualisierung der Unterschiede verschiedener Entwicklungsstände zu untersuchen.
منابع مشابه
Objektorientierte Graphendarstellung von Simulink-Modellen zur einfachen Analyse und Transformation
Für die Erstellung von cyberphysikalischen Systemen ist die modellbasierte Entwicklung ein Standardwerkzeug, da es die Erstellung komplexer Systeme vereinfacht und übersichtlich ermöglicht. Durch die Simulation lassen sich Verifikationen bereits in sehr frühen Entwicklungsstadien durchführen. Eines der am häufigsten eingesetzten Werkzeuge in diesem Bereich ist MATLAB/Simulink. In Simulink könne...
متن کاملEntwicklung eines Software-Leitstands zur Einhaltung von Modellierungsrichtlinien
Angesichts zunehmend modellbasierter Entwicklung komplexer Software-Systeme werden heutzutage passende Modellierungsrichtlinien und dazugehörige Werkzeuge zur Einhaltung derselben unerlässlich. Zur Entwicklung eines effizienten Ansatzes sind eine systematische Klassifizierung dieser Regeln und die Definition eines passenden Prozesses erforderlich. Dieses Papier stellt einen Klassifikationsvorsc...
متن کاملLessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu Modellbasierter Software-Entwicklung mit Implementierungsmodellen
Ein vielversprechender Ansatz für die Entwicklung immer komplexerer softwarebasierter Systeme im Automobil besteht in der Anwendung von modellbasierten Entwicklungsmethoden, bei denen sowohl die frühe Funktionsentwicklung als auch die Implementierung der Funktionssoftware durch die Erstellung von graphischen Modellen und den Einsatz von Codegeneratoren unterstützt wird. Im Rahmen dieser Entwick...
متن کاملAutomatisierte Überprüfung von Modellierungsrichtlinien für Matlab/Simulink-Modelle
Auf das Thema meiner Studienarbeit stieß ich im Zusammenhang mit einer Seminararbeit im Bereich Softwaretechnik. Dort habe ich eine Ausarbeitung zum Thema ”Modellierungsrichtlinien in automotiven Softwaresystemen“ erstellt und bin auf die Problematik fehlender Guidelinechecker in diesem Bereich gestoßen. Professor Wilhelm Schäfer und mein Betreuer haben mir dann das Projekt zur ”Automatisierten...
متن کاملRequirements Engineering in der Steuergeratesoftwareentwicklung
Mit dem zunehmenden Einzug der Elektronik ins Fahrzeug nimmt die Komplexität der Steuerungsstrukturen exponentiell zu. Durch diese Komplexität wird das Entwicklungsrisiko der Komponente Steuergerät sehr hoch. In vielen Fällen hat das Requirement Engineering großen Einfluss auf kritische Projektverläufe. Der folgende Praxisund Erfahrungsbericht aus diesem Bereich soll die Prozessverbesserungspot...
متن کامل